1221. Theory and Practice of Parallel Programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer system failures.,Microprocessors.

رده :
TK7895
.
M5
E358
1995

1222. Theory and practice of natural computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.

رده :
QA76
.
9
.
A43

1223. Thinking differently about HIV/AIDS :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : AIDS (Disease)-- Canada.,Critical thinking-- Canada.,HIV infections-- Canada.,Social sciences-- Canada.,HIV.,AIDS (Disease),Critical thinking.,HIV infections.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Social sciences.,Canada., 7

رده :
RA643
.
86
.
C3

1224. Thinking-driven testing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.

رده :
QA76
.
758

1225. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
62
.
F84
1998

1226. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses

رده :
QA
76
.
62
.
F84
1998

1227. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L4
v
.
225

1228. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
225

1229. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.

رده :
QA76
.
6
E358
1986

1230. Threshold logic and its applications

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Threshold logic,، Linear programming,، Switching theory

رده :
QA
401
.
M85

1231. Threshold logic & its applications

پدیدآورنده :

کتابخانه: (طهران)

موضوع : THRESHOLD LOGIC , LINEAR PROGRAMMING , SWITCHING THEORY

رده :
QA
401
.
M85

1232. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.

رده :
QA76
.
9
.
S88

1233. Tools and techniques for multi-valued networks using rewriting logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

1234. Tools for structured design: an introduction to programming logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Structured programming

رده :
QA
76
.
6
.
B63
1993

1235. Topics in theoretical computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA75
.
5

1236. Towards a design flow for reversible logic

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer logic,، Computer architecture,، Logic programming

رده :
QA
76
.
9
.
L63
W55
2010

1237. Towards a design flow for reversible logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;

1238. Towards evolvable hardware : the evolutionary engineering approach

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(

رده :
QA
76
.
L28
Vol
.
1062

1239. Traffic Control and Transport Planning:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.

1240. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Deductive databases,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
1472